Perfect, thank you! 😻

We merge PRs simultaneously to GitHub and our MSVC-internal repo in a semi-manual process, batched up to save time. Your PR will be part of the next batch, likely next week. I'll post comments here as I prepare your PR for merging.

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.

Hi! I only force-pushed to fix an incorrect commit author. The content remains the same.
Could you please review the commit again when possible? Thank you!

Thanks, that's fine as there are no content changes.

FYI, if you'd like to permanently associate another email address with your GitHub account, you can do so by adding it as a "secondary address" in your settings. That's what I do with my work and home addresses. Aside from having to confirm it, GitHub will continue to send email to your primary address only.

Thanks for updating this important link, and congratulations on your first microsoft/STL commit! 📜 😸 🎉